Automation of reasoning 2, Classical papers on computational logic 1967-1970
- Författare
- (Edited by Jörg Siekmann and Graham Wrightson.)
- Språk
- Engelska
![](https://images.amazon.com/images/P/3540120440.01.MZZZZZZZ.jpg)
![](https://images.amazon.com/images/P/0387120440.01.MZZZZZZZ.jpg)
Förlag | År | Ort | Om boken | ISBN |
---|---|---|---|---|
Springer-Vlg | 1983 | Tyskland, Berlin, New York | 637 sidor. |
Förlag | År | Ort | Om boken | ISBN |
---|---|---|---|---|
Springer-Vlg | 1983 | Tyskland, Berlin, New York | 637 sidor. |